Model-checking Quantum Systems: Principles And Algorithms By Ying

Mingsheng Ying (u. A.) | Model Checking Quantum Systems | Buch |

Distributed Computing Principles, Algorithms, And Systems Kshemkalyani

Principles Of Model Checking | Christel Baier (u. A.) | Englisch |

Sichere Konfigurationsplanung Adaptiver Systeme Durch Model Checking

Quantum Dynamics Of Some Real And Model Systems Aspects Of Quantum

Quantum Monte Carlo Methods: Algorithms For Lattice Models By James

Model-checking Infinite State Systems For Information Flow Security

Raghavendra K. R. | Model-checking Infinite State Systems For

Ying Fu | Physical Models Of Semiconductor Quantum Devices |

Assurances For Self-adaptive Systems Principles, Models, And

Agostino Cortesi | Verification, Model Checking, And Abstract

Quantum Dynamics Of Some Real And Model Systems | Chandan Kumar Mondal

Universal Design: Principles And Models By Roberta Null

Francesco Logozzo (u. A.) | Verification, Model Checking, And

Model Checking And Artificial Intelligence 5th International Workshop,